3864,3864,3865,3865,3865,3866,3866,3866,3867,3867,3867,3867,3868,3868,3868,3868,3868,3869,3869,3870,3870,3871,3871,3872,3872,3872,3872,3872,3872,3871,3871,3871,3871,3871,3871,3872,3872,3873,3874,3875,3875,3876,3877,3878,3879,3880,3881,3881,3882,3882,3883,3884,3885,3886,3887,3888,3889,3890,3891,3892,3893,3894,3895,3895,3896,3897,3897,3898,3898,3898,3898,3898,3898,3898,3899,3900,3900,3902,3902,3903,3903,3904,3904,3905,3905,3904,3904,3903,3903,3903,3903,3903,3904,3905,3906,3907,3907,3908,3909,3910,3911,3912,3913,3914,3915,3916,3917,3918,3918,3919,3920,3921,3922,3923,3925,3925,3926,3926,3925,3925,3925,3925,3926,3926,3927,3928,3929,3931,3931,3932,3933,3934,3935,3936,3937,3938,3939,3940,3941,3942,3942,3943,3944,3945,3947,3948,3949,3950,3950,3951,3952,3953,3954,3955,3955,3955,3956,3956,3957,3958,3959,3958,3958,3958,3957,3957,3957,3956,3956,3956,3957,3957,3958,3959,3960,3961,3962,3963,3964,3965,3965,3966,3966,3968,3969,3969,3969,3969,3969,3969,3969,3969,3970,3971,3971,3972,3973,3974,3975,3976,3977,3977,3978,3978,3979,3979,3979,3979,3980,3980,3981,3982,3983,3983,3984,3985,3986,3987,3988,3989,3990,3991,3991,3992,3993,3994,3995,3996,3997,3998,3999,4000,4001,4002,4003,4004,4004,4005,4006,4007,4008,4009,4009,4010,4010,4010,4011,4012,4013,4014,4015,4016,4016,4017,4017,4018,4018,4018,4019,4019,4020,4021,4021,4023,4024,4025,4026,4027,4027,4028,4028,4029,4029,4030,4031,4032,4033,4034,4035,4036,4036,4037,4037,4037,4037,4036,4036,4035,4034,4034,4034,4034,4034,4035,4036,4037,4038,4039,4040,4041,4042,4043,4044,4045,4046,4047,4048,4049,4050,4051,4052,4052,4053,4053,4054,4055,4056,4056,4057,4058,4060,4061,4061,4062,4063,4064,4065,4066,4067,4068,4069,4070,4071,4071,4072,4073,4074,4075,4076,4076,4077,4078,4079,4079,4080,4080,4081,4082,4083,4084,4085,4086,4086,4087,4087,4088,4089,4089,4089,4090,4089,4089,4088,4087,4086,4086,4085,4084,4083,4083,4082,4082,4081,4081,4081,4082,4082,4082,4083,4083,4083,4084,4084,4084,4083,4083,4083,4083,4082,4082,4082,4081,4081,4080,4080,4079,4078,4078,4077,4077,4077,4078,4078,4079,4079,4080,4080,4081,4081,4081,4082,4082,4082,4082,4082,4081,4080,4080,4079,4079,4078,4077,4076,4076,4075,4076,4076,4077,4078,4078,4078,4078,4077,4076,4075,4074,4073,4073,4072,4071,4070,4070,4069,4068,4068,4066,4065,4065,4064,4064,4063,4063,4062,4062,4061,4060,4060,4059,4058,4057,4056,4055,4054,4053,4052,4051,4050,4049,4049,4050,4050,4050,4051,4051,4052,4052,4052,4052,4051,4051,4051,4050,4049,4048,4047,4046,4045,4045,4045,4045,4046,4046,4047,4047,4047,4048,4048,4049,4049,4050,4050,4051,4051,4051,4051,4051,4051,4051,4050,4049,4048,4047,4047,4046,4046,4045,4044,4043,4042,4042,4041,4041,4040,4040,4039,4039,4038,4038,4037,4036,4036,4035,4034,4033,4032,4031,4030,4029,4028,4026,4025,4025,4024,4023,4022,4021,4020,4019,4018,4017,4016,4014,4013,4012,4011,4011,4010,4009,4008,4008,4007,4007,4007,4008,4008,4007,4007,4006,4006,4005,4004,4003,4003,4002,4001,4000,3999,3998,3997,3996,3995,3995,3994,3993,3993,3992,3991,3991,3990,3989,3988,3987,3987,3986,3985,3984,3984,3983,3982,3982,3981,3980,3980,3979,3979,3978,3978,3977,3977,3978,3979,3980,3981,3982,3983,3984,3985,3986,3987,3988,3988,3989,3989,3989,3988,3987,3986,3985,3985,3984,3983,3982,3981,3980,3979,3978,3977,3976,3975,3975,3974,3973,3972,3971,3970,3969,3968,3966,3966,3965,3965,3964,3964,3963,3963,3962,3962,3961,3960,3959,3958,3958,3957,3956,3955,3954,3953,3952,3951,3950,3949,3948,3947,3946,3945,3944,3943,3943,3942,3942,3941,3941,3941,3942,3942,3943,3943,3944,3945,3946,3947,3947,3948,3949,3950,3951,3952,3952,3951,3951,3950,3950,3949,3949,3948,3948,3947,3947,3946,3945,3944,3943,3942,3941,3940,3939,3938,3938,3937,3936,3935,3935,3934,3934,3933,3933,3932,3932,3931,3930,3929,3928,3927,3926,3926,3925,3924,3923,3922,3921,3920,3919,3918,3917,3916,3916,3915,3915,3914,3913,3913,3912,3912,3911,3910,3909,3908,3907,3906,3905,3904,3903,3902,3902,3901,3900,3900,3899,3898,3897,3896,3895,3894,3893,3893,3892,3892,3892,3891,3891,3891,3890,3889,3888,3887,3886,3885,3884,3884,3883,3882,3881,3880,3878,3878,3877,3876,3875,3874,3874,3873,3872,3872,3873,3873,3873,3874,3875,3875,3876,3876,3877,3877,3878,3880,3880,3881,3882,3882,3883,3883,3883,3883,3883,3883,3884,3885,3885,3885,3886,3887,3888,3888,3888,3888,3888,3887,3887,3886,3886,3886,3884,3884,3884,3884,3883,3883,3883,3882,3882,3881,3880,3879,3878,3877,3876,3875,3875,3874,3873,3872,3871,3870,3870,3868,3867,3867,3866,3865;672,670,670,669,668,667,666,665,664,663,662,661,660,659,658,657,656,656,655,654,653,652,651,650,649,647,646,645,644,643,642,641,640,639,638,638,637,636,635,635,634,633,632,631,630,629,628,627,627,626,626,627,627,627,627,627,628,628,628,628,627,626,626,625,625,625,626,626,627,628,629,630,631,632,632,632,633,632,631,631,630,629,628,628,627,626,625,624,623,622,621,620,619,619,618,618,619,619,620,620,620,620,620,620,620,620,619,619,618,618,617,617,617,617,617,618,619,620,621,622,623,624,624,625,625,625,625,625,624,624,623,623,622,622,622,621,621,621,621,621,620,620,619,619,618,618,618,618,619,619,620,621,621,621,620,619,618,617,617,616,615,614,613,612,612,611,610,609,607,606,606,605,605,604,603,603,603,602,602,602,601,601,600,599,597,596,595,594,593,592,591,590,589,589,588,587,587,587,588,589,589,588,588,587,587,586,585,584,584,583,582,581,581,580,580,580,580,580,580,581,581,581,582,582,583,583,583,583,583,583,583,583,583,583,583,582,581,581,581,581,582,583,584,584,585,586,587,588,588,588,588,588,587,586,585,585,584,583,583,582,582,582,581,581,581,581,581,581,580,580,579,579,578,578,578,578,578,578,579,579,580,580,581,582,583,584,585,586,587,588,589,590,591,591,591,592,592,593,593,593,594,594,595,595,596,596,597,598,598,599,599,600,600,601,602,603,603,604,604,604,604,604,605,606,606,607,607,608,609,610,611,612,612,613,613,613,613,613,613,612,612,612,612,613,613,614,614,614,615,615,615,615,616,616,617,617,618,619,620,621,622,623,623,625,625,626,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,640,641,642,642,643,644,645,645,646,647,647,648,648,649,650,651,652,652,653,654,654,655,655,656,657,658,658,659,660,661,662,663,665,666,667,668,669,669,670,671,672,672,674,675,675,676,677,678,679,680,681,682,683,684,685,685,686,686,687,688,689,690,690,691,692,693,694,694,695,695,696,696,697,697,698,699,699,700,701,702,703,703,703,703,703,703,702,701,701,700,699,699,698,698,697,696,695,695,694,695,695,696,697,697,696,696,695,694,693,692,691,690,689,688,688,687,686,685,684,683,683,682,681,680,679,678,677,677,677,678,678,679,679,680,680,680,680,680,679,679,678,678,677,677,676,676,675,675,675,676,676,677,677,678,678,678,678,678,678,678,679,679,679,679,679,679,679,680,680,680,680,681,681,681,682,683,684,685,686,687,688,689,690,691,691,692,692,693,693,694,694,695,695,696,697,698,699,700,701,701,702,703,704,705,705,706,707,707,708,709,710,711,712,713,714,715,716,716,717,718,719,720,720,721,722,723,723,724,725,726,727,727,728,728,728,728,728,729,729,730,730,731,733,734,734,734,734,735,735,735,735,735,735,735,736,736,736,736,735,735,734,734,733,733,733,734,734,735,735,736,736,737,737,738,738,739,739,739,739,739,738,738,738,738,739,739,740,740,740,740,740,740,740,740,740,740,739,739,738,738,737,736,736,735,735,734,734,734,734,734,735,735,735,735,735,734,733,733,732,732,731,730,729,729,728,728,727,727,727,726,726,725,725,726,727,727,728,728,728,728,727,727,726,726,725,725,724,724,723,723,723,723,723,722,722,722,722,722,722,723,723,724,725,726,727,727,728,728,729,730,730,731,731,731,731,731,731,731,731,732,732,732,731,731,731,730,730,730,730,730,730,730,730,729,729,728,727,725,724,723,722,721,720,719,718,717,717,716,715,714,713,713,713,714,714,714,714,714,713,713,712,711,710,709,708,707,707,706,706,705,705,704,703,704,705,705,705,704,704,703,702,701,700,699,699,698,697,696,696,695,695,694,693,692,691,691,690,689,688,687,686,685,684,683,683,682,681,681,680,679,679,678,677,676,675,675,674,674,674,674,674,674,673,673,673,672,672,672